( sig' pk sigr -- result )
OP_DUP ( sig' pk sigr sigr ) verifyr 
( sig' pk sigr )
OP_OVER ( sig' pk sigr pk )
OP_CHECKSIGVERIFY OP_CHECKSIG